predicate calculus logic
述词演算逻辑
热门查询
- Christmastime n. 圣诞节期（等于Christmastide）
- clitoral adj. 阴蒂的；阴核的
- shamefacedly adv. 羞愧地，羞怯地
- unordered adj. 无序的
- coyness n. 羞怯；怕羞
- clobber n. 软膏；环草胺除草剂 vt. 击倒；痛打
- Niro n. (Niro)人名；(意)尼罗
- Branwell [人名] 布兰韦尔
- Erin n. 爱尔兰
- Rhineland n. 莱茵兰（等于Rhine Province ）
- Johnstone [人名] [苏格兰人、英格兰人姓氏] 约翰斯顿 Johnston的变体; [地名] [英国、英国] 约翰斯通
- phytolith 植物化石
- bigotry n. 偏执；顽固；盲从
- caribou n. 北美驯鹿 n. (Caribou)人名；(法)卡里布
- heatproof adj. 抗热的，耐热的 vt. 使……隔热；使……耐热
- vive adj. 有生气的；活泼的 int. 万岁
- plight n. 困境；境况；誓约 vt. 保证；约定
- possessing 占有 支配 （possess的现在分词）
- dense adj. 稠密的；浓厚的；愚钝的
- dig n. 戳，刺；挖苦 vi. 挖掘 vt. 挖，掘；探究 n. (Dig)人名；(罗)迪格
